Calculus of functors - PDFSEARCH.IO - Document Search Engine

Calculus of functors
Results: 26

#	Item
21	Partial Combinatory Algebras and Realizability Toposes Pieter J.W. Hofstra University of Ottawa Add to Reading List Source URL: mysite.science.uottawa.ca Language: English - Date: 2012-03-30 10:43:13 Model theory Combinatory logic Logic in computer science Function Topos Functor Interpretation Cartesian closed category Adjoint functors Mathematics Mathematical logic Lambda calculus
22	Coeffects: The Essence of Context Dependence Submitted draft (October 2012) Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-28 21:18:50 Theoretical computer science Models of computation Functional programming Monad Logic in computer science Lambda calculus Function Sheaf Symbol Mathematics Adjoint functors Mathematical logic
23	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus Function ALGOL 68 Mathematics Adjoint functors Software engineering
24	PDF Document Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2012-09-20 11:17:18 Lambda calculus Functors Adjoint functors Sketch Cartesian Equivalence of categories Natural transformation Limit 2-category Category theory Higher category theory Cartesian closed category
25	PDF Document Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:29:42 Mathematical logic Models of computation Theoretical computer science Model theory Logic in computer science Monad Denotational semantics Kleisli category Lambda calculus Mathematics Adjoint functors Software engineering
26	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2005-09-06 14:13:07 Algebraic topology Functors Calculus of functors Maps of manifolds Differential topology Homotopy theory Immersion Assembly map Equivalence of categories Topology Abstract algebra Mathematics